$\forall$$A$:Type. strong{-}subtype($A$;$A$)